$$\mathrm{\varnothing }\vDash ((𝑝\Rightarrow 𝑞)\Rightarrow (𝑞\Rightarrow 𝑟))\Rightarrow (𝑝\Rightarrow (𝑞\Rightarrow 𝑟))$$ $\mathrm{s}\mathrm{i}\mathrm{n}(𝑥)-\mathrm{s}\mathrm{i}\mathrm{n}(𝑥+2𝜋)=0$