theorem :: XPRIMES2:2361

canceled;