Theorem divp_one

Modification history