Proof Store: пост #112