Solomon's Proof