The default sentiment is: This is not a mathematical theorem. All upon your interpretation. Focus on the "mostly correctness" instead. You don't want to disprov

The default sentiment is: This is not a mathematical theorem. All upon your interpretation. Focus on the "mostly correctness" instead. You don't want to disprove anything here because the statement is of course by anyway not a mathematical theorem.