take GF the Prime ; :: thesis: GF the Prime is prime
thus GF the Prime is prime ; :: thesis: verum