There’s also the classic “no three positive integers a, b, and c to satisfy a**n + b**n = c**n for values of n greater than 2“ trick but my proof is to large to fit in this comment.