Push proves 1