theorem :: GOBRD13:5

canceled;