>>709
|a↑-b↑|=4が与えられてるから、
|a↑-b↑|^2は2通りに表すことができる