Application of new fixed point theorems on proximity spaces to fractional boundary value problem | Synapse