updated eq proof prime