show that possible f_13 is regular on U_1\cap U_3
added some generally useful calculations - eg s_i(x)
continued working towards first basis element