Adds note about proof elsewhere.