theorem :: GOBRD13:7

canceled;