Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site houxz.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!houxm!houxz!halle1
From: halle1@houxz.UUCP (J.HALLE)
Newsgroups: net.puzzle
Subject: Re: nifty chess puzzle spoiler
Message-ID: <669@houxz.UUCP>
Date: Thu, 16-Feb-84 16:01:19 EST
Article-I.D.: houxz.669
Posted: Thu Feb 16 16:01:19 1984
Date-Received: Sat, 18-Feb-84 01:10:39 EST
References: <911@ihuxr.UUCP>
Organization: Bell Labs, Holmdel NJ
Lines: 4

Why is the given solution correct?  Because the conditions of the problem
state that there is a mate.  Not: can you mate in 2? but: you can
mate in 2!  Given that a solution exists, this is that solution.
An existence proof is not required.