theorem :: XPRIMES2:2256

canceled;