theorem :: XPRIMES2:2301

canceled;