Русско-английский научно-технический словарь
• The transformation (F.4) satisfies condition (F.3) and so (or thereby) defines a contact transformation.