:: deftheorem GEOMTRAP:def 10 :
canceled;