Lovegrove Mathematicals
"Dedicated to making Likelinesses the entity of prime interest"
For proofs of all these theorems see The Fundamentals of Likelinesses