「この物理的性質は誤差でない」ということは誤りでない
fact1: その約数候補は容易い fact2: 仮にその約数候補が容易いならばあの物理的性質は誤差である
$facts$ = fact1: その約数候補は容易い fact2: 仮にその約数候補が容易いならばあの物理的性質は誤差である ; $hypothesis$ = 「この物理的性質は誤差でない」ということは誤りでない ; $proof$ = 
事実1: その約数候補は容易い
事実2: 仮にその約数候補が容易いならばあの物理的性質は誤差である

仮説: 「この物理的性質は誤差でない」ということは誤りでない