fixed AMaximalIdealContaining: n = 1 -> IsOne( n )

where n is an ideal