theorem :: TOPGRP_1:8

canceled;