फिर, टर्मिनेशन आर्ग्यूमेंट आसान या मुश्किल हो सकती हैं, यूक्लिडा और जीसीडी के लिए एक थोड़ी मुश्किल टर्मिनेशन आर्ग्यूमेंट है।
Then, termination arguments may be easy or difficult, a slightly difficult termination argument is for Euclid GCD.