The statement that the highest common factor divides the lowest common multiple is a fundamental mathematical property of integers, making it common knowledge that requires no citation.
The claim states a basic mathematical truth regarding the highest common factor (HCF or GCD) and the lowest common multiple (LCM) of integers (specifically, for any two positive integers a and b, HCF(a,b) always divides LCM(a,b), since their product equals their product divided by HCF, or simply because HCF divides each number which in turn divides the LCM). This is a textbook definition/property of elementary number theory and everyday mathematical observation, qualifying it as common knowledge under Step 0.