>>568
証明の必要がないことを証明してからだな