推移律とは