I.J.White rest n proof

Intermediate Proofin