Was the Van Halen song "Hot For Teacher" based on this?

It came out a few years before that song. I wonder if the band saw it.