Title: Two Alternate Proofs of Wang's Lune Formula for Sparse Distributed Memory and an Integral Approximation