Με δυσκόλεψε πολύ. Το μόνο που κατάφερα να δείξω είναι ότι το
είναι μέγιστο ιδεώδες.Πιο συγκεκριμμένα, έστω
ο δακτύλιος των "germs" (κλάσεων ισοδυναμίας ; ) των αναλυτικών συναρτήσεων
, στο 
.Δείξτε ότι ο δακτύλιος αυτός είναι τοπικός (έχει μόνο ένα μέγιστο ιδεώδες, το παραπάνω) δακτύλιος της
.