theorem Th50: :: STIRL2_1:50
( 3 ! = 6 & 4 ! = 24 )