Proofs - Tarry-Hearken-Solution
light BG