PROPOSITION $4\mathrm{.}4$ Let $\backslash$Pi $=($Gen$,$ Mac, Vrfy$)$ be a secure $($deterministic$)$

MAC that uses canonical verification. Then $\backslash$Pi is strongly secure$.$