Compact monotonically metacompact spaces are metrizable