Body of proof

606