“狗果定理”是不是“勾股定理”的错别字？它到底是什么意思？