theorem :: GOBRD13:6

canceled;