ではある (concessive 'while it is true that')

The pattern ではある, used to concede that something is the case before a contrastive clause. The は inserts contrast into the copula, signaling 'X is true, but...'. Often paired with けれども or が.