zsh: no such file or directory: /usr/local/bin/brew

Stream: general

[Xialu Zheng]

I was downloading lean following instructions in https://leanprover-community.github.io/install/macos.html with MacBook Pro m2. However, after step 3, installation of Homebrew, I could not continue forward with /usr/local/bin/brew install elan-init mathlibtools as the error 'zsh: no such file or directory: /usr/local/bin/brew' pops up.

May I know why this may happen and how I could fix it?
Thank you!