Example. Locally finite type but not finite type [00C2] every open embedding (finite type only if qc)