Lakatos István: 1 tétel