TAG:bgroup begindivtheoremebegintext endtext

;
Success message!