theorem :: XPRIMES2:1256

canceled;