theorem :: XPRIMES2:7760

canceled;