BOWERMAN proofs

BOWERMAN proofs