Proving the fundamental theorem of arithmetic | Heykuki News