>>796
わからんのか？
aが正の数なので　a=b^2を満たす実数bが存在すること。