theorem :: XPRIMES2:6565

canceled;