formal indection problem solve. solution is here