الگوریتم ایوکلیدین میشود که برای حل معادلات رشته‌ی دیوفانتین و مشکلات قضیه باقیمانده چینایی برای چند فورمولی بکار برده شود؛ تجزیه متداوم موارد چندفورمولی همچنان میشود که تعریف گردند.