Theorem Prime.dvd_of_pow_dvd_pow_mul_pow_of_square_not_dvd

Modification history