theorem :: GOBRD13:3

canceled;