1. isSublist([ ], B) = true

    Example: isSublist([ ], [2,4,6]) = true.

  2. isSublist(A, [ ]) = false

    Example: isSublist([3], [ ]) = false.

  3. isSublist(A, B) = isSublist(tail(A), tail(B))  when head(A) = head(B).

    Example: isSublist([2,6,10], [2,4,6,8,10]) = isSublist([6,10], [4,6,8,10]) = true.

    Example: isSublist([2,6,11], [2,4,6,8,10]) = isSublist([6,11], [4,6,8,10]) = false.

  4. isSublist(A, B) = isSublist(A, tail(B))  (when head(A) != head(B)).

    Example: isSublist([2,6,10], [1,2,4,6,8,10]) = isSublist([2,6,10], [2,4,6,8,10]) = true.

    Example: isSublist([2,6,11], [1,2,4,6,8,10]) = isSublist([2,6,11], [2,4,6,8,10]) = false.