theorem :: XPRIMES2:3049

canceled;