revampled eq proof prime (2)