details of the theorem
return