LCM from Prime Decomposition/Proof 1