take S --> (Bottom T) ; :: thesis: ( S --> (Bottom T) is filtered-infs-preserving & S --> (Bottom T) is sups-preserving )
thus ( S --> (Bottom T) is filtered-infs-preserving & S --> (Bottom T) is sups-preserving ) ; :: thesis: verum