proofs of the formula y= mx +b