theorem
  M |= p => q & M |= q => r implies M |= p => r
proof
  assume
A1: M |= p => q & M |= q => r;
  let v;
  M,v |= p => q & M,v |= q => r by A1;
  hence thesis by Th102;
end;
