Skip to main content

divide using known facts