Here is what Grothendieck says in Recoltes et semailles.
Dans le cas cohérent, la démonstration du théorème de bidualité est d’ailleurs triviale. Cela n’empêche que c’est ce que j’appelle sans hésitation un théorème profond”, car il donne une vision simple et profonde de choses qui ne sont pas comprises sans lui. (Voir à ce sujet l’observation de J. H. C. Whitehead sur “le snobisme des jeunes, qui croient qu’un théorème est trivial, parce que sa démonstration est triviale”, observation que je reprends et sur laquelle je brode dans la note “Le snobisme des jeunes — ou les défenseurs de la pureté”, n◦27).
May be someone who has the english version can provide a translation. This is note 947, page 763 in the french pdf version, a search for the word biduality should find it quickly.
So, in short, the biduality theorem is a profound theorem with a trivial proof in the coherent case. And the quote you are refering to is probably due to Whitehead.
