theorem :: XPRIMES2:1273

canceled;