Verifica di congruità