Über diesen Artikel
Online veröffentlicht: 09. Juni 2008
Seitenbereich: 171 - 174
DOI: https://doi.org/10.2478/v10037-007-0020-9
Schlüsselwörter
This content is open access.
A formalization of the first proof from [6].
A formalization of the first proof from [6].