los naturales tienen igualdad decidible