att satsen ingalunda har den axiomaiiska karakter , som befriar från alividare