Redirect & merge to Mathematical proof? -- Tarquin 22:20 Nov 17, 2002 (UTC)