Takeuti conjecture