disprove-conjecture ( n -- m )

Vocabulary

project-euler.046.private

Inputs

n

an object

Outputs

m

an object

Definition

USING: kernel ;

IN: project-euler.046.private

: disprove-conjecture ( n -- m )
    dup fits-conjecture?
    [ next-odd-composite disprove-conjecture ] when ;