Generate a Python program that has the following intention:

The intention of the program is to implement a recursive function p1 that takes two arguments, a and b, and returns the result of repeatedly applying the function to the remainder of the division of a by b until the value of b becomes zero. In other words, the function returns the sequence of remainders obtained by repeatedly applying the expression a % b while b is not equal to zero, and returns a when b becomes zero.

For example, if a is equal to 13 and b is equal to 5, then a % b is equal to 3, a % b % b is equal to 1, a % b % b % b is equal to 2, and so on, until b becomes zero and the function returns 2.

This function can be useful in certain mathematical and cryptographic applications that involve modular arithmetic and the calculation of remainders. Respond with more than 10 words be in all capital letters.
user