take C = COM-Struct(# the non trivial Instructions #); :: thesis: C is with_non_trivial_Instructions
thus not the InstructionsF of C is trivial ; :: according to AMISTD_4:def 1 :: thesis: verum