theorem :: XPRIMES2:3055

canceled;