નીચેના પ્રમેય દરેક અગાઉના એક પર આધારિત છે.