A saturated carbon is a molecule formed from x carbon atoms and y hydrogen atoms by adding bonds between atoms such that each carbon atom is in four bonds, each hydrogen atom is in one bond, and no sequence of bonds forms a cycle of atoms. Prove that y = 2x +2.