theorem :: INTPRO_1:19

IVERUM in IPC-Taut by Def14;