It would be helpful to have an explanation in English as to how this proves the Theorem. Nine9s (talk) 13:05, 3 September 2008 (UTC)[reply]