theorem :: XPRIMES2:7742

canceled;