added an easy proof