Krull–Akizuki Theorem - Ontify