Solution of the Correctness and the Loop Invariant was implemented.