બાદમાં, અન્ય સંશોધકો પ્રમેય રોમમાં કામ કરવામાં આવી હતી થોડી વધુ આદિમ સાબિતી પ્રાપ્ત થઈ છે.