>>136
よく分からない
本を読むとき、ある命題について「これを使わないと証明できないかどうか」なんてことを気にしてるの？
別に他の証明があってもいいと思うけど