Theorem Balanced.sub

Modification history