4521 (Explicit)

Real Lean (Explicit)