Theorem pow_sub_one_dvd_differentIdeal

Modification history