theorem :: XPRIMES2:1945

canceled;