theorem :: XPRIMES2:8961

canceled;