theorem :: XPRIMES2:2391

canceled;