theorem :: XPRIMES2:1275

canceled;