>>253
ぐぬぬ…5^(1/2)が5の正の平方根である理由とかありましたっけ?