2. Как се извежда теоремата: