推移律 証明