theorem :: XPRIMES2:2321

canceled;