Proof
by FairShot