gan kan betraktas såsom ordnad tillömsesidig