    Sentence 1: On what theorem is the formula that  frequently generates the number z and all other  primes precisely once based on?    Sentence 2: Here represents the floor function,  te., largeat integer not greater than the number  in question.