Azt persze nem tudom, mennyi a bizonyítható, de beleillik egy logikai sorba...