tanaka-thm-left