theorem :: XPRIMES2:7751

canceled;