They have been mentioned here for completeness, but are not required for the proofs below.
Burada tamamlanmışlık adına belitilmişlerdir ancak aşağıdaki ispatlar için gerekli değillerdir.