آگر A با B برابر باشد . E مساوی با F است اگر C مساوی با D باشد G. مساوی با H است یا A مساوی B است .یا C مساوی با D بنابراین :
یا A مساوی با F است یا C مساوی با H یا B مساوی با H یا F مساوی با D یا E مساوی با F است یا G مساوی با H یا F مساوی با C است یا A مساوی با G