a theme proof