Δ-システム補題 - 他の言語