showed all but one conditions for one basis element when i=2
almost finished finding one basis element