theorem :: XPRIMES2:7261

canceled;