但其实，就是那个小学生学习的“1＋1=2”，也是可以证明的，只要用到戴德金-皮亚诺结构，后继数，单射等等，再理顺了思路，就可以将之证明出来，步骤还很简单。
而现如今，她对另一个“1＋1”，也就是“哥德巴赫猜想”，又有了新的一个想法，可以处理好原先一直困扰着她的那几个在证明中存在的bug。
之前，在参加io的数学交流会时，明夏也就只差最后一个环节了，还因为卡在那里，把同样投入进了证明环节的大家勾得不要不要的，好奇得简直就是抓心挠肺，便在有了灵感之后，立刻把学习量子力学、法语、英语以及历史的时间通通都挤出来一些，匀给这个并不简单的“1＋1”的证明。