lecture11: extensions: several independent variables