[OS X TeX] No proof

[George Gratzer]

In my lattice book, I would need theorems and lemmas followed by the  
symbol \noproof (defined as $\scriptstyle\diamondsuit$).

So

Theorem 5.12.

typesets as

Theorem 5.12. immediately followed by a small diamond.

So I need a theoremnoproof and a lemmanoproof environments that do it.

PLEASE HELP!

Thank you,

GG