「プロセカ」，楽曲「アヤノの幸福理論」がゲーム内に登場