theorem :: XPRIMES2:8727

canceled;