4 ms·I don’t like the title change. The proof is elementary but non-trivial.by robinhouston 10y agoI don’t like the title change. The proof is elementary but non-trivial.