I praktiken har denna slutsats visatsig