theorem :: XPRIMES1:1275

canceled;