Least totient number k > 1 such that n*k is a nontotient number, or 0 if no such number exists