補題：ぼくらはみんな生きている

https://scrapbox.io/files/67139b88698e396e9870814f.png