  Applying Baaz's Generalization Method and a new technique to, respectively,
proofs and denumerable simple graphs, diverse arithmetical patterns are
observed. In particular, sufficient conditions for a number to be a divisor of
a Fermat number are provided. The accuracy of such observations is asked in
several subsequent problems.
