Basic theorem application without hypothesis validation or variable replacement