Body of proof

887