theorem :: XPRIMES2:120

canceled;