It is proved that if a function takes any certificate as a cycle, then the function is a constant

It is proved that if a function takes any certificate as a cycle, then the function is a constant

To the contrary:
If the function is not constant, there are two numbers X1 and X2, x1