Formally Smooth And Smooth