intuition for first proof