Но "a1 = b1" (белый = белому).

Отсюда случай метафоры:

А = В месяц -- рог

В = А рог -- месяц

Между сравнением и метафорой могут идти побочные процессы словообразований (случаи синекдохи и метонимии).

Случай синекдохи.

a1 В -- А = белорогий месяц.

b1 А -- В = беломесячный рог.

Последний случай есть вместе с тем и метонимия.

Случай метонимии.