Thanks. My proof was longer because I wasn't aware of that identity that you used, so I had to derive something that probably is basically equivalent, and the whole thing was more involved. Yours is a bit nicer tho, I think.