2重根号がはずせるための必要十分条件って何ですか?