In [1]:

```
import proveit
theory = proveit.Theory() # the theorem's theory
```

In [2]:

```
%proving left_from_and
```

This is proven by simple generalization by the fact that extra conditions may always be added to derive a weaker statement.

In [3]:

```
%qed
```

Out[3]: