Im Not Proving This Statement Very Well