Matsusaka's big theorem (source code)

= Matsusaka's big theorem
{wiki=Matsusaka's_big_theorem}