>>868
6ページ20行目とは?

>>704で指摘がありましたが
「tはuが持つ全ての因数prを含む」ことの証明はありませんよね?