theorem :: XPRIMES2:6256

canceled;