>>529
γ=｛x∈Q|-x∈A'｝
γ'=｛x∈Q|-x∈A｝
において切断(γ|γ')の定める実数が-αである。

ですよね。