I thought the mathematical terms went something like this:

• Trivial: Any statement that has been proven
• Obviously correct: A trivial statement whose proof is too lengthy to include in context
• Obviously incorrect: A trivial statement whose proof relies on an axiom the writer dislikes
• Left as an exercise for the reader: A trivial statement whose proof is both lengthy and very difficult
• Interesting: Unproven, despite many attempts