推移律 例