Relation on Slowly Progressing Mapping which fulfils conditions of General Double Induction Principle/Proof