But why $PROVE ??
I am really tired off