Bayes' theorem alternative proof (using algebra)