مكافئ {congrue}