theorem :: XPRIMES2:7677

canceled;