Short Derivations

Three to five lines, using nothing but the ten rules