הנמקה מתמטית