Proved that Picard operator is a contraction