A Mechanical Proof of Wilson's Theorem (1983)

by David M Russinoff