studys theorem