Line 575: |
Line 575: |
| |} | | |} |
| | (37) | | | (37) |
| + | |} |
| + | |
| + | The steps of the proof are replayed in the following animation. |
| + | |
| + | {| align="center" cellpadding="8" |
| + | | |
| + | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" |
| + | |- |
| + | | [[Image:Praeclarum Theorema 2.0 Animation.gif]] |
| + | |} |
| + | | (38) |
| |} | | |} |
| | | |
Line 590: |
Line 601: |
| a b + a c + b c | | a b + a c + b c |
| \end{matrix}</math> | | \end{matrix}</math> |
− | | (38)
| |
| |} | | |} |
| | | |