added ross like theorem style