Dyck congruence