Files
| Name | Date | Size |
|---|---|---|
| page58.dvi | 12.06.2002 | 3008 Byte |
| page57scale5.html | 12.06.2002 | 1441 Byte |
| page57scale4.html | 12.06.2002 | 1429 Byte |
| page57scale3.html | 12.06.2002 | 1442 Byte |
| page57scale2.html | 12.06.2002 | 1444 Byte |
| page57scale1.html | 12.06.2002 | 1445 Byte |
| page57.dvi | 12.06.2002 | 4258 Byte |
| page56scale5.html | 12.06.2002 | 1441 Byte |
| page56scale4.html | 12.06.2002 | 1429 Byte |
| page56scale3.html | 12.06.2002 | 1442 Byte |