Integer equations and sharp bounds

Develop a method, diagnose its limits, then apply it to carefully worked examples.

Turn divisibility constraints into bounds on prime exponents.

Use gcd, lcm and factor pairs to restrict solutions.

Solve integer conditions by factorisation and bounds.

Construct witnesses and prove that no solutions were omitted.