Theorem sub_half

Modification history