Renamed file so that it conformed to convention.

Also added a guarantee that the `prime' was always a prime number.