Monday, January 30, 2012

Formal proof?

Is there an easy formal proof for this: I think I derived it once. The more general cut is derived here:

Update. Here are my dabblings. First we go back to the derivation shown here and take the final formulation for the cut. From there we can do: