let amc12b-2002-p3 = `!n:num.
    (0 < n) /\
    (prime (n EXP 2 + 2 - 3 * n))
==>
    n = 3
`;;