@lowqualityfacts

Please reference my 2nd theorem