yukheidata - © theorem ∶ do not edit.