The obligatory intermediacy of a cholesta-5,7-diene system in the hepatic biosynthesis of cholesterol.