Def f x 0 (23/45)

Def f x 0