A proof of Specker's principle.