Nagy István Antal: 1 tétel