2 ms·Agreed. But this is an awfully fine point for proofs which are intended to be «simple».by _nalply 10y agoAgreed. But this is an awfully fine point for proofs which are intended to be «simple».