「正しさとは常に証明されなければならない」(Correctness must always be proven)