theorem :: XPRIMES2:6723

canceled;