[math-fun] Not about primes