3 ms·Oops, good catch. I can never remember the name of that lemma.by antognini 8y agoOops, good catch. I can never remember the name of that lemma.