Ekvivalentní konstrukce pro kontrolu správnosti