是否存在没有通解的式子