4 ms·I would be interested in learning who that friend was, and how he got to the proof.by paxcoder 12y agoI would be interested in learning who that friend was, and how he got to the proof.