Theorem. [00CK]

Finite means integral and finite type