added another example of a direct proof