theorem :: XPRIMES2:1261

canceled;