Proof Store: пост #116