:: deftheorem GOBRD13:def 1 :
canceled;