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