But why $PROVE ??

I am really tired