Rigorous "Rich Argument" in Microlensing Parallax

I show that when the observables $(\vec \pi_{\rm E},t_{\rm E},\theta_{\rm E},\pi_s,\vec \mu_s)$ are well measured up to a discrete degeneracy in the microlensing parallax vector $\vec \pi_{\rm E}$, the relative likelihood of the different solutions can be written in closed form $P_i = K H_i B_i$, where $H_i$ is the number of stars (potential lenses) having the mass and kinematics of the inferred parameters of solution $i$ and $B_i$ is an additional factor that is formally derived from the Jacobian of the transformation from Galactic to microlensing parameters. The Jacobian term $B_i$ constitutes an explicit evaluation of the ``Rich Argument'', i.e., that there is an extra geometric factor disfavoring large-parallax solutions in addition to the reduced frequency of lenses given by $H_i$. Here $t_{\rm E}$ is the Einstein timescale, $\theta_{\rm E}$ is the angular Einstein radius, and $(\pi_s,\vec \mu_s)$ are the (parallax, proper motion) of the microlensed source. I also discuss how this analytic expression degrades in the presence of finite errors in the measured observables.