Conjectura de Takeuti