3 ms·First, let's assume that proof by contraction isn't necessary, ... :-)by raymondh 11y agoFirst, let's assume that proof by contraction isn't necessary, ... :-)