Are attitudes to presenting proofs different between France and UK? I've seen lots of French authors point out tricky parts; none in English