Quet's Conjecture
Suppose quet(n) ==PROD((k, n)=1) {k}.SUM((k, n)=1) {1/k}
= PROD((k, n)=1) {1/k}.SUM((k, n)=1) {k} [mod n] [because of all the
relative primalities]
== 0 [mod n.phi(n)/2]