theorem :: XPRIMES2:1908

canceled;