theorem :: XPRIMES2:162

canceled;