:: deftheorem PRVECT_2:def 6 :
canceled;