Sålunda är matematiskt bevisligt , att enf.