separation of variables theorem