theorem :: XPRIMES2:60

canceled;