Det korollarium , hvilket således följeraf