add: doc on euler totient