DIVISIONALE PROOF