The final proof