theorem@style