Egy elfeledett informatika tétel átírása