Body of proof

933