Krull-Schmidt and cancellation over local rings | Synapse