theorem :: XPRIMES2:5760

canceled;