Har man t. ex. först bevisat att en stad icke börgenom