Anyone care to add a short proof of the Leibniz Test? I think it would add a lot to the page. Lavaka 05:45, 21 September 2006 (UTC)