Theorem div_self

Modification history