Prime number by Wilson Yu

(compilation error)

Definition can not be compiled into PDF.