Input (grade 8): The official proof of a prime is through it primality certificate.
Output (grade 8): The official proof of a prime is through its primality certificate.