Talk:Lotus/@comment-69.62.149.210-20150606093657/@comment-25593327-20150626103511

Proofs?