Talk:Fused Existence/@comment-26362471-20151209004619/@comment-26362471-20151209020114

Proof needed