6 ms·Why didn't you ran them to find simpler proof? This could also be big.by ReptileMan 12d agoWhy didn't you ran them to find simpler proof? This could also be big.fn-mote 12d agoThat's next week's work.