How would one prove that the following scheme definition is an ordered stream of integers(define integers (cons-stream 1 (add-streams ones integers)))
How would one prove that the following scheme definition is an ordered stream of integers
proof techniques;functional programming;induction