Theorem  shows that in each iteration of Optima3, IBU will estimate the unique MLE given by the noisy locations under the optimal channel engendered by BA. This is one of the major aspects where Optima3 triumphs over the method proposed by Oya et al. in [1]} which relies on the flawed theoretical results by [2]} and adheres to the idea of optimal LPPMs presented by Shokri et al. in [3]}. As discussed earlier, ElSalamouny et al. illustrate various LPPMs which would be optimal by Shokri et al.'s standards in [3]} but may not have a unique MLE for a given set of observed data obfuscated by them. This is one of the principal reasons why the EM method capitalized on by Oya et al. in [1]} is not reliable to estimate the true PMF to a desirable degree of accuracy.
