theorem :: XPRIMES2:1255

canceled;