3 ms·At least it’s just a lemma rather than a theorem :)by Sharlin 7y agoAt least it’s just a lemma rather than a theorem :)