The microscopic theory of superfluid $^4$He