theorem :: XPRIMES2:2366

canceled;