Theorem Prime.dvd_mul

Modification history