Rất hào hứng khi làm việc với Terry để chính thức hóa lý thuyết số