このディレクトリの索引

フェルマー素数(_フェルマー素数) :-
        between(0,4,_n),
        _フェルマー素数 is truncate(2 ^ (2 ^ _n) + 1).