
# eras
E(a)_1=EB
