Template:AimForCont

Aiming for a contradiction, suppose