theorem :: XPRIMES2:1176

canceled;