Richard_Kennaway comments on Jensen’s Shortform

[Richard_Kennaway]

I am sure that Andrew Wiles understands addition much better than me.