WordPress states explicitly that it considers the PHP portion of themes to be GPLed.
That they consider it a derivative work is their -legal opinion-. Remember their license still doesn't supercede local laws and a court could invalidate Wordpress' legal opinion of what a derivative work is.