theorem :: XPRIMES2:6796

canceled;