This is not necessarily true. At least one Freeper had personal experience with IBM Executive (NOT Selectric) typewriters with a proportional spaced font in that same time period.
But this Times Roman mockup demonstration is VERY compelling because of how exact it is.
IBM Model 4, built in 1941.
Googled "IBM Executive Typewriter" and found this reference as 2nd entry. This is not hard, folks.
"The IBM Executive series typewriter was a series of electric typewriters that IBM manufactured, starting in the 1950s. They used the conventional moving carriage and hammer mechanism."
Poster in question has a poor memory. IBM Executive Series was introduced in the 1950's. 4th Generation was introduced in the early 1970's. Even if the TANG had a brand new typewriter at the time, a "moving carriage and hammer" mechanism could not ahve produced proprtional-spaced type.
FORGERY
I admininstered defense contracts 1968-1969 while in the Army at Defense Contract Admininstration Services, Region Chigago, where the commander was an AF colonel. All our work paper work was done either by hand or with mono-spaced IBM Selectrics. Even practicing law thereafter, we used monospaced Selectrics. In all of this time I didn't see a single one of the Executives used, especially while I was in the Army at DCASR Chigago.