prove3eq