>p=2pk-1であれば、pはpkに依存しています。
つまりp=2pk-1でない場合があるから、pはkに依存していないってことだ。

p=2pk-1でない場合は、TもUも成り立たない。
証明は不備だらけ。