自由 じゆう ぐんであれば
jiyū kagundeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 自由加群

1. If free groups…; If one adds free groups…

Ba Conditional
Mathematics