body of proof

body of proof

body of proof