Obras de Regiomontanus, Johannes (5)