3 ms·Thanks. I realized this just after I posted it, so I wrote the proof into my comment instead.by OscarCunningham 8y agoThanks. I realized this just after I posted it, so I wrote the proof into my comment instead.