or maybe not, whoops. the mutually recursive definitions would cause an infinite loop here, maybe, if the first prime isn't explicitly defined.