Praeclarum Theorema

Also see
Compare the Constructive Dilemma, which is similar in appearance.