Theorem Balanced.interior

Modification history