Proved that Picard operator has a fixpoint