Body of proof

886