［定理］４ｎ＋１型素数はどれも２つの平方数の和として表される．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　５＝１^2＋２^2

１３＝２^2＋３^2

１７＝１^2＋４^2

２９＝２^2＋５^2

３７＝１^2＋６^2

４１＝４^2＋５^2

５３＝２^2＋７^2

６１＝５^2＋６^2

７３＝３^2＋８^2

８９＝５^2＋８^2

９７＝４^2＋９^2

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝