The standard method for justifying a mathematical theorem is to provide a proof. However, mathematicians are human and sometimes their proofs might contain errors that are not so obvious, and aren't ...