明らかに保守であることを証明するのが難しいですね