theorem :: MUSIC_S1:10

NATPLUS c= the carrier of REAL_Music by Th4;