prouver par A plus B, prouver par A + B
Fraseologism sõnadest prouver par A plus B 'a pluss b kaudu tõestama'. Tähed on siin kasutusel tuntud suurustena (konstantidena) algebras.
