It follows that Pic(R) is a finite group (finiteness of class number) that measures the deviation of the ring of integers from being a PID.
Άρα Pic(R) είναι πεπερασμένη ομάδα (πεπερασμένoς αριθμός κλάσεων) που μετρά την απόκλιση του δακτυλίου των ακεραίων από το να είναι PID.