theorem :: XPRIMES2:5994

canceled;