Talk:Level 522/@comment-24110035-20150817150844/@comment-24110035-20150817151108

Proof.