theorem Th50: :: STIRL2_1:50

( 3 ! = 6 & 4 ! = 24 )