reserve m,n for Nat,
  a,b for Int_position,
  i,j for Instruction of SCMPDS,
  s,s1,s2 for State of SCMPDS,
  I,J for Program of SCMPDS;

theorem
  n < 15 iff  n in dom GCD-Algorithm by Th8,AFINSQ_1:66;
