-- Which is the same as:
_3_4_5'' ::
  Triangle (Succ (Succ (Succ Zero)))
           (Succ (Succ (Succ (Succ Zero))))
           (Succ (Succ (Succ (Succ (Succ Zero)))))
_3_4_5'' = $(triangle 3 4 5)
_3_4_5'' ::
  Triangle (Succ (Succ (Succ Zero)))
           (Succ (Succ (Succ (Succ Zero))))
           (Succ (Succ (Succ (Succ (Succ Zero)))))
_3_4_5'' = $(triangle 3 4 5)
_3_4_5'' = $(triangle 3 4 5)