implications of the theorem
return