how to prove if String ends with int?

Question

I have to prove if String ends with int, also cases like "Cat 100" or "Cat 1". Is there a way to write it like "Cat "+(int) or do I have to kno