The easiest (but useless) proving technique. #SoME2

Published --