Dimension theory. - Nagami Keio (1970)