Natural Numbers are Comparable/Strong Result/Proof 2