Theorem sub_div

Modification history