theorem :: XPRIMES2:908

canceled;