Tremonti proof