h = closure_op (Image h) by Th19;
hence Image h is directed-sups-inheriting by Th24; :: thesis: verum