Mihály István: 1 tétel