Cocina el brócoli: Si usas brócoli fresco, corta los ramilletes y ponlos a hervir en agua con sal durante unos 4-5 minutos, hasta que estén tiernos pero aún crujientes. Si usas brócoli congelado, solo necesitas hervirlo según las indicaciones del paquete. Luego escurre el brócoli.

Mientras se cocina el brócoli, derrite la mantequilla en una sartén grande a fuego medio. Si deseas, agrega los dientes de ajo picados y sofríelos por un minuto hasta que estén fragantes.

Agrega los champiñones a la sartén y cocina durante unos 5-7 minutos, hasta que estén tiernos y ligeramente dorados.

Incorpora el brócoli cocido a la sartén con los champiñones y mezcla bien. Cocina todo junto durante unos minutos para que se integren los sabores.

Sazona con sal y pimienta al gusto, y si lo prefieres, un poco de jugo de limón para dar un toque fresco.

Sirve caliente como acompañamiento o como plato principal