shorter derivation of Show