prove iterative length and sum examples

@andreistefanescu please review