theorem :: XPRIMES2:1904

canceled;