Then one checks that these two functions are in fact both ring homomorphisms.
Τότε ο ένας ελέγχει ότι αυτές οι δυο λειτουργίες είναι στην πραγματικότητα και οι δυο δακτύλιοι ομομορφισμού.