1970年，苏联数学家马季亚谢维奇用中国的"四元术“解决了希尔伯特提出的一个难题。 ( )