first attempt on proving