theorem :: XPRIMES2:960

canceled;