Dubbla den ytvidden hade redanvarit