Balanced Formulas, Minimal Formulas and Their Proofs