Koszonom. Csak elmelet, vagy bizonyitott is?