主な補題の証明ができた。
(aaa)* の言語 の証明。