put the OM result into theorem form