Save theorem application step