theorem :: XPRIMES2:2255

canceled;