**GreensTheorem_file1_ftc-analogue.py** <br>
![GreensTheorem_file1_ftc-analogue.py](GreensTheorem_file1_ftc-analogue.gif)
**GreensTheorem_file2_line-int.py** <br>
![GreensTheorem_file2_line-int.py](GreensTheorem_file2_line-int.gif)
**GreensTheorem_file3_line-int-sum.py** <br>
![GreensTheorem_file3_line-int-sum.py](GreensTheorem_file3_line-int-sum.gif)
**GreensTheorem_file4_theorem-proof.py** <br>
![GreensTheorem_file4_theorem-proof.py](GreensTheorem_file4_theorem-proof.gif)