Aihnss.809
net.jokes
utzoo!decvax!ucbvax!ARPAVAX:mhtsa!ihnss!lbo
Wed Dec 16 17:51:14 1981
Theorem:  Halloween = Christmas
	Halloween = 31 OCT = 25 DEC = Christmas.
					QED