Solution of SICP