>>43
すいません、>>41は間違いでした
論文には、AとBの公約数をCとして、B=Cでなければならないことを証明しています

>>44
それはEが成立するときに、最後の式が必ず成立するための条件E⊇最後の式です