新しいプログラミング・パラダイム(完)_最大公約数_普遍代数，多項式イデアル，自動証明におけるユークリッドの互除法