ASSERT(k >= 0)
{i = 1;
 sum = 1;
 while (i <= k) {
     sum = sum + 2*i + 1;
     i = i+1;
 } //end-while
}
ASSERT( sum == (k+1)*(k+1) )