oddity

The proof is trivial!

Generates the line math lecturers use to skip a step: the proof is trivial, just view it as some abstract object whose elements are other abstract objects.