State and prove Lagrange's theorem. Give an example to show that an integer $k$ may divide the order of a group $G$ without there being a subgroup of order $k$.