証明図を自動でつくる