Lean — это всегда идеализация и стремление к некому представлению об идеале, поэтому примите этот идеализированный пример за аксиому.