[quote=@Intrepid]
<Snipped quote by Source>

Almost all of them. They almost all use summations symbolically.
[/quote]

Could you define "proof?"