任晋州预计，在知道行星遥行二定律的情况下，要详证川四船件，也需要一整天时间。而且红脸膛未曾明确的说明，要从什么级别开始作为已知条件。
这使得程晋州在罗列已知的时候，尽可能的将较早时代的公理列在前面。
此等做法，自然让姜璜异常的奇怪，同时也颇为佩服。
同样是为了推出一个定理，用“三角形内角和为幼度”的已知条件，可比“三角形有三个角”的已知条件简单多了一nbsp;nbsp;后者等于是又增加了一次证明过程，难度上不止是一篇论文的量。
姜璜有些不理解。但为了不影响到他的计算而默不出声。其实，看到“程大博士”能够持续不断的写下去，才是让他最奇怪的事情。
所有的演算过程都不需要思考，某些时候甚至直接写出了答案和过程程大博士为了节省时间，也顾不得如何展示nbsp;nbsp;简直让人觉得不可思议。
不过，星术士们见过太多的不可思议事件，姜璜更是没少见到程晋州所表现出的奇怪能力，故而仅仅是好奇了一下，便将‘精’力放在程晋州的演算过程中。
开普勒尽管是借用了老师的资料，可仍然耗费了好多年时间。