:: deftheorem PRVECT_2:def 7 :
canceled;