prime formulae