thus F " is one-to-one ; :: thesis: F " is semi-continuous
hence F " is semi-continuous ; :: thesis: verum