theorem :: PREPOWER:95

canceled;