theorem :: XPRIMES2:2956

canceled;