# informal proof

1 results