DSA est bien une signature

$\alpha^{e_1}\beta^{e_2}$	$\equiv \alpha^{x \delta^{-1} + lq} \;\alpha^{a(\gamma \delta^{-1} + tq)}\; mod \; (p)$
	$\equiv \alpha^{x \delta^{-1}}\alpha^{a\gamma\delta^{-1}}\; mod \; (p)$
	$\equiv \alpha^{(x+a\gamma)\delta^{-1}} \; mod \; (p)$
	$\equiv \alpha^{k + sq} \; mod \; (p)$
	$\equiv \alpha^k \; mod \; (p)$

et $(\alpha^k \; mod \; (p)) \equiv \gamma \; mod \; (q)$