وهو المطلوب إثباته - لغات أخرى