theorem :: XPRIMES2:122

canceled;