RE: Comment about proof #75.