Added a lot more theorems with cosine similarity