Partiendo de estos axiomas se puede demostrar los siguientes teoremas: