元曲《墙头马上》是王实甫的作品。