Item 3.3.5.d.

For all natural numbers \(n\text{,}\) if \(n\) is prime, then \(n\) is solitary.

in-context