It is known that random regular graphs are good expanders. Prove that a k-regular graph of girth 4 has at least 2kvertices. k