Jsem velmi nadšený, že mohu spolupracovat s Terrym na formalizaci teorie čísel