I Thanked your post by mistake, and then I removed my Thanks. Then I tried to remove them again but it didn't work (it seems the number of Thanks must be a Natural number, whereas I was shooting for an Integer).

If I thought you weren't just trolling MAYBE I WOULD RESPOND TO YOUR POST WITH A REAL ANSWER, BUT...