| 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)
| |
| | |} | | |} |
| | | | |