File:Alberto's birthday proof.png