We consider the exact analytical pricing of an European option written on the spread between two correlated underlying assets. General model-independent properties of the option price are observed and an exact analytical expression for the spread option value is derived in the case of two...