theorem :: XPRIMES2:961

canceled;