revampled eq proof prime