>>230

の補題のステートメントは間違っているということですか?