(something) which was to be proved

listen to the pronunciation of (something) which was to be proved