Solution: We seek the smallest positive time $ t $ such that $ t $ is divisible by both 7 and 13 — that is, $ t = extlcm(7, 13) $. Since 7 and 13 are distinct primes, they are coprime and - Groen Casting