[fjsolwmv]

Trivial is subjective. The sketch of the proof is simple, but you skipped the details and it's not obvious to everyone at first.