Added fermat-test.rkt