נוספו 552 בתים,
22:10, 24 בינואר 2015 *איחוד שני תתי מרחבים הוא תת מרחב אם ורק אם אחד מהם מוכל בשני.
*משפטון ההחלפה של שטייניץ.
*מטריצה הפיכה אם ורק אם הדטרמיננטה שלה שווה אפס.
*אי שיוויון קושי-שוורץ.
*אי שיוויון המשולש לנורמה המושרית ממכפלה פנימית.
*קבוצה אורתונורמלית היא בת"ל.
*מטריצה ריבועית לכסינה אם ורק אם יש בסיס המורכב מוקטורים עצמיים שלה.