John Lennon Song containing So this is Christmas?

The formal title of the song is "Happy Xmas (War Is Over)", and it first appeared on Lennon's 1975 best-ofs, Shaved Fish. It appeared later on other Lennon compilations.