Detta är matematiskt bevisligt,