theorem :: XPRIMES2:6110

canceled;