Riktigheten af denna grundsats , somredan