“正数的算术平方根是正数”