Theorem statement on circle.

Elvis Keisham's image