The proof for language letters