De estos axiomas, se siguen ciertos teoremas generales: