「妥当(な)」と「恒真」とがともにvalidである理由もここから分かるかと思います。