>>77
あなたはx≦1であることを証明しなければならないと言っていますが
条件Aから条件Bを導いたということは
A⊇B
ということを意味しています。

B?Aということがおきてはいけません。これはA∧B≠φ
ということで、式にするとx≦1となります。

>>78
c_k=n/d_kでdkがnの約数にならないということは
p_k^q_k+…+1=d_kb_k
でd_kが整数ではなくなるということを意味しているのですけれども