sol of sqrt in SICP