Comments on the main proof strategy

Open in new window