[Star Trek: The Next Generation] For what mathematical Theorem (Which was proven correct in 1995) was Picard endeavouring to discover a proof in 'The Royale'