Modified theorem environment