Krein–Rutman_theorem loading ...