theorem :: XPRIMES2:5973

canceled;