A short proof is given that metric spaces which have no closed discrete subspaces of measurable cardinal are realcompact. This result is used to obtain the Shirota theorem that topologically complete ...