3 succ 3 in PrimRec by Th74;
hence 3 succ 3 is primitive-recursive ; :: thesis: verum