theorem :: XPRIMES2:2328

canceled;