theorem :: XPRIMES2:168

canceled;