theorem :: XPRIMES2:5967

canceled;