theorem :: XPRIMES2:5984

canceled;