Theorem Balanced.add

Modification history