イデアルであれば
so idearudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 素イデアル

1. If it is a prime ideal; When it is a prime ideal

Ba Conditional
Mathematics