In het onderstaande document staat een bewijs (door volledige inductie).