a trip in the theorem