条件の各式を�@�A�Bとしたとき、�Bの両辺自乗がよさげな感じ。