My solution never mentioned Bayes! So, don't have to "be a Bayesian" to use what I wrote.
I just used conditional expectation which, of course, with full details, is from the Radon-Nikodym theorem in measure theory as in, say, Rudin, Real and Complex Analysis with a nice, novel proof from von Neumann.
