Implicazione
Il simbolo
=>
significa
implica
quindi devi leggere:
A congruente a B implica B congruente ad A