short for (3)-(4)

short for (3)-(4)

Penafian