قضیه شکل اول، شکل دوم