20/04/22 20:13:28.15 xQffJica.net
>>41
どれが既約ですか？
数式
p_k^q_k + ⋯ + 1 = d_k b_k
より前に該当する記述を見つけられません
また、4つの整数 b, B, a, A ( AB ≠ 0 ) が条件
b / B = a / A かつ GCD(b, B) = 1 （左辺が既約という意味）
を満たすならば、 bA = aB から Bを割る素数は必ずAを割るので
A ≡ 0 ( mod B ), つまり A = nB を満たす整数 n が存在します
しかし、 B が A で割り切れるとは限りません
【反例】b = 3, B = 2, a = 15, A = 10