theorem :: XPRIMES2:113

canceled;