theorem :: XPRIMES2:1711

canceled;