File:Fact 2 proof.png