theorem :: XPRIMES2:3256

canceled;