Posting some theorems, and occasionally other stuff. By @bahran_cihan