theorem :: XPRIMES2:5005

canceled;