It is known that (7/48)

It is known that