S4 is Topologically Complete for (0, 1): a Short Proof