非常高興能與Terry一起合作,將數論正式化