Lakatos Mihály: 1 tétel