. "Theorem about prime numbers" . . .