Show that the following statements are equivalent for any topological space .
(a) Whenever are mutually separated subsets of , there exist open disjoint such that and .
(b) is hereditarily normal.
Background:
Definition- Sets and are mutually separated in a space if and only if