什么是隐式通解