Grandfather's Math - proof by contradiction or indirect proof

Grandson's Math - reductio ad absurdum.