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