theorem :: XPRIMES2:6561

canceled;