第一顯現問題：從有理解到最小 Primitive Cuboid

定義正典的 primitive 解（a < b < c、gcd = 1）、預設高度 g，以及條件式定理 A–E（primitive 代表元唯一、良序保證若有解則有第一個解、a < b < c 嚴格、存在證書對最小性證書）。

條件式的簿記：原文寫「本系列不把條件式推論誤寫成存在證明」。有一個小缺口：gcd(P) = 1 ⇒ gcd(a, b, c) = 1 的逆向沒有附上那行論證（它是對的）。