code: def test_totient_hypothesis(n):
      assert totient(n) <= n
      div = divisors(n)
      totients = [totient(i) for i in div]
      assert n == sum(totients)
  
file_path: sympy/sympy/ntheory/tests/test_hypothesis.py
imports: from hypothesis import given
  from hypothesis import strategies
  from sympy import divisors
  from sympy.ntheory.primetest import is_square
  from sympy.ntheory import totient
  from sympy.ntheory import divisor_sigma
label_desc: Use image node_id 2 for calling a global function with example usage: test_totient_hypothesis(n) without return types