Body of proof

690