theorem :: XPRIMES2:3048

canceled;