Теорема же скорей, на аксиому не потянет.