Japanese Theorem