sin(x)だけみたら、そりゃ0になることもあるが、
「今」①が成り立っているならばsin(x)≠0は保証されているのは「式」が教えてくれる事実。