Lol at the proofs that are simply the words "trivial", "easy" etc. Why is it so hard to just write it out fully, in a completed paper -- it would barely add any length. I agree I may find them easy, but the attitude is harmful. Besides after doing any sort of functional programming the whole paper is obvious, so why even bother :). The same brain rot extends to more complicated situations.