theorem :: XPRIMES2:4256

canceled;