Skip to main content

bits of proof