No.14235401 ViewReplyOriginalReport
>when the proof is actually left as an exercise for the reader