Thm (39/40)

Thm