>>189
証明の際に未定義の言葉・多義の言葉を宣言無く使うの?