4 ms·Oh - He's talking about the proof not the actual result. Thanks, that makes sense.by mlpinit 11y agoOh - He's talking about the proof not the actual result. Thanks, that makes sense.