Talk:Six exponentials theorem