Fixes BH-343 and 351, geometry_proofs_1 translated
Fixes BH-419 Multiplying_complex_numbers