This paper revisits a method of generalization of proofs of universal sentences that was introduced by Baaz and provides several applications to the study of the factors of Fermat numbers; remarkably an improvement of his sufficient condition for a given value to be one of such factors.