[Sussex] Challenge

[Geoff Teale]

> Geoff,
> 
> You asked for a proof, not a calculation. If you install any 
> decent theorem
> proving software, then this should come up as rigorous.
> 
> M.

Yup.. agreed.. this is the same scemantic hole Steve used.  It's a pretty
good answer and it appeals to the pedant in me.

You have both produced the proof I asked for without actually solving the
problem I intended, as the prize is awarded for the best arguement this is a
strong contender.

-- 
GJT
Free Software, Free Society. 
http://www.fsf.org   http://www.gnu.org


The above information is confidential to the addressee and may be privileged.  Unauthorised access and use is prohibited.
 
Internet communications are not secure and therefore this Company does not accept legal responsibility for the contents of this message.
 
If you are not the intended recipient, any disclosure, copying, distribution or any action taken or omitted to be taken in reliance on it, is prohibited and may be unlawful.
 
Claybrook Computing Limited is a subsidiary of Claybrook Computing (Holdings) Limited
Registered Office: Abbey House. 282 Farnborough Road, Farnborough, Hampshire GU14 7NJ
Registered in England and Wales No 1287205
 
A Hogg Robinson plc company