در این پایان نامه از استدلالی به اسم"استدلال استاندارد" استفاده زیادی شده است.در هر دو فصل, ابتدا به بیان لم هایی پرداخته ایم که با روش کاملآ جبری استدلال استاندارد به اثبات آن ها می پردازیم. و بعد به بیان قضیه اصلی می پردازیم و بعد با استفاده از این لم ها, به اثبات قضیه اصلی می پردازیم.