Remainders must eventually become prime numbers

Remainders form a decreasing sequence of non-negative integers bounded below by $0$

The sequence must eventually cycle and repeat

The two input numbers must have a common factor greater than $1$