¿Qué es \( m^* \)? Dudo que sea cualquier medida exterior, ya que inmediatamente (por definición) cumple la regla que has escrito. Si se trata de la medida de Lebesgue igual es casi inmediato: sólo ten en cuenta que si una colección de conjuntos cubre a \( B \) (es decir, su unión contiene a \( B \)) entonces también cubre a \( A \) (porque \( A\subseteq B \)). Luego aplica la definición de medida exterior de Lebesgue.