added second small theorem