4 ms·As a sometime mathematician, I'd say that's a perfectly complete and formal proof.by dmurray 7y agoAs a sometime mathematician, I'd say that's a perfectly complete and formal proof.