Proof of a conjecture of Hong on nonsingularity of power LCM matrices on gcd-closed sets | Synapse