推移律やな
論理的に破綻してない