theorem :: XPRIMES2:2919

canceled;