Empty proof

1:29
00:00