Plus Ultra
sum 프로시저를 반복하는 프로세스로 만들기
심슨 규칙으로 적분 프로시저 짜기
밀러-라빈 검사로 소수인지 검사하기
카마이클 수로 페르마 검사를 무용지물로 만들기
곱연산 대신 square 프로시저를 사용하는 이유