theorem :: XPRIMES2:1184

canceled;